Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master : Frank D. Valencia has been teaching the undergraduate course "Computability", 45 hours, at the Pontificia Universidad Javeriana de Cali, Colombia. July 27 - Nov 1, 2018.

• Master : Frank D. Valencia has been teaching the masters course "Foundations of Computer Science", 45 hours, at the Pontificia Universidad Javeriana de Cali, Colombia. Jan 27 - Jun 1, 2018

• Master : Konstantinos Chatzikokolakis has been teaching the masters course "Privacy Technologies", 40 hours, at the University of Athens, Greece. Oct - Dec, 2018.

Supervision

• PhD in progress (2018-) Natasha Fernandez. Co-supervised Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Annabelle McIver. Thesis subject: Privacy Protection Methods for Textual Documents.

• PhD in progress (2018-) Santiago Quintero. Co-supervised by Frank Valencia and Catuscia Palamidessi. Thesis Subject: Foundations of Group Polarization.

• PhD in progress (2017-) Marco Romanelli. Co-supervised by Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Moreno Falaschi (University of Siena, Italy). Thesis subject: Application of Information Flow to feature selection in machine learning.

• PhD in progress (2017-) Anna Pazii. Co-supervised by Konstantinos Chatzikokolakis and Catuscia Palamidessi. Thesis subject: Local Differential Privacy.

• PhD terminated (2016-18) Tymofii Prokopenko. Ecole Polytechnique and ENS Cachan. Grant Digiteo-Digicosme. Co-supervised by Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Serge Haddad (ENS Cachan). The PhD was terminated due to the lack of progress.

• PhD in progress (2017-) Sergio Ramirez. Co-supervised by Frank Valencia and Camilo Rueda, Universidad Javeriana Cali. Thesis subject: Quantitive Spatial Constraint Systems.

Juries

Catuscia Palamidessi has been reviewer and member of the board at the PhD defense for the thesis of the following PhD student:

• Vittoria Nardone (University of Sannio, Italy). PhD thesis reviewer. Title of the thesis: Formal Methods for Android Applications. Supervised by Antonella Santone. Defended in January 2019.

• Antoine Dallon (ENS Paris-Saclay). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Verification of indistinguishability properties in cryptographic protocols - Small attacks and efficient decision with SAT-Equiv. Supervised by Veronique Cortier and Stephanie Delaune. Defended on November 26, 2018.

• David Mestel (University of Oxford). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Quantifying information flow. Supervised by Bill Roscoe. Defended on October 26, 2018.

• Jun Wang (University of Luxembourg). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Privacy-preserving recommender systems facilitated by machine learning approach. Supervised by Qiang Tang and Peter Ryan. Defended on October 19, 2018.

• Hamid Ebadi (Chalmers University, Sweden). Member of the committee board at the PhD defense. Title of the thesis: Dynamic Enforcement of Differential Privacy. Supervised by David Sands. Defended on March 5, 2018.

Catuscia Palamidessi has been examiner of the following habilitation thesis:

• Elham Kashefi (LIP6, CNRS, France). Title of the thesis: Verification of Quantum Computing. Defended on February 8, 2018.

Other didactical duties

Catuscia Palamidessi has been:

• Member of the advising committee for Hamid Ebadi, PhD student supervised by David Sands, Chalmers University, Sweden. From 2014 until 2018.

• External member of the scientific council for the PhD in Computer Science at the University of Pisa, Italy. Since 2012.

• Member of the advising committee for the PhD of Jun Wang (PhD student supervised by Qiang Tang and Peter Ryan), University of Luxembourg. From 2014 until 2018.